Carol Karp (geborene Carol van der Velde, * 10. August 1926 in Forest Grove, Ottawa County, Michigan; † 20. August 1972 in Maryland) war eine US-amerikanische mathematische Logikerin. Karp studierte am Manchester College in Indiana (Bachelor-Abschluss 1948) und an der Michigan State University, wo sie 1950 ihren Master-Abschluss in Mathematik ma...